fixes #722