I thought I fixed that too... I guess the server didn't correctly update it or something, anyway, I fixed it again and hopefully it doesn't revert to the previous one.
Sorry, I don't know where that is. I didn't script everything in PRO so... that's why I mention that reports should clearly give the map name.
Thanks