minor edits, user style