fixes to treatment of constants in Section 5