fixes #712