Fix #1726