Fixes #733