Minor tweak to return user ID in REST API.