Fixes #857