fixes #739