Fix accidental bug in bot.php
util.php: fix warning