Fix #5936