Fix a bug that prevented checkBotanistState() from working correctly