fixes #724