fixes #740