fixes #741