mascot: patch for 4.01
Merge pull request #2029 from hhugo/mascot4.01

mascot: patch for 4.01