further fix mistake of recent commit re numeric constants