fix minor misprint