Fix the formatting of value args in the then portion of rules.