fixes #3043