fixes #733