Fix #4756