Fix #734