A few prior typo fixes got reverted. Refixed them.