minor typofix.