another minor text tweak