fix some minor oversights, oops