Fixed error in today's fix for #2938