small change for compatibility
Merge pull request #7235 from DavidVentura/master

small change for compatibility