fixes #754