fix some small mistakes