Fix #1137