Fixes #847