Style/doc fixes for PR.