translated overuse of 'user', and some minor edits