Fix #1201