Fix #667