fixes #3020