fixes #794