Fixes #739