small help file formulation fixes