Fix some improperly indented doc comments