correct a few oversights