Fix #1173