Fix #1263