minor typo-like fixes