minor edits and indentation