Fix #1772