Fix #723