Fix #4972