Small bug fix in normalize_user