fixes #726