fixes #3126