minor text subtleties