minor edits in profile.html