fixes #3957