Formatting fixes; typo correction