fix some simple mistakes