FIX: typos in BATMAN tutorial