Fix #733