Fix #4913