fix a few stray errors