Fixes #625