Just a minor text fix.