Fix #677