Fix typo; clean formatting