fixes #825