fixes #762