Reported #4741