fixes #885