Fix #1751