Sort:  

It's no bother :)
Hopefully there will be no need since we are updating the bot, but in case something like that happens again the edit/save should help.