Fix #1202