fixes #803