minor text tweak

purely cosmetic