Fixes #703