Fix #5452