fixes #774