fixes #3085