fix errors (thanks, ilmari!)