Fixed a typo in ioan_bot that prevented bots from pushing walls