Fix #4546