Fixes #802