Minor text changes

Very minor text refinements.