mascot: patch for 4.01