FIX: bug in BATMAN tutorial