fix a couple small mistakes