Fix misprints noticed by Boris Homyakov.