formatting fixes, renamed to normal_constant