fixes #667