Fix #1145