add comment to explain avoidance of user as a local variable