Thanks for catching the typo. Looks like it will be difficult to fix though as we would have to migrate the data of >5,000 bots...