fixes #793