Fix #933