fixes #813