clean up some typo-level bugs