Fix #4453