Bugfix. Fixes #811