Fix a user-mode edge case