Fixes to bot ignore.