fixes #709