Has anyone experienced this strange substitution of Hashem for Adonai during services? What would you do if you did, if anything?