Fixes #675