another typo forgotten in e50b24a6db4c7dd0f5b473073db5165d453a5217 and f3338532d4914b40a4757c12a2448e9a141b02cd, refs #519