Fix misprints (thanks to @zxjinn).