fixes #3147