BUGFIX: fixes #808