Fixes #806