fixes #735