Fix #5217