Fix #1631, Ultimi errori nel merge