Fix #5931