fixes #734