some minor edits, shouldn't cause any change in functionality