Two stylistic changes

This PR introduces stylistic changes that make the formula more consistent with other formulas and, in the case of requirement references, itself.