Fixes #700