Fixing Batman example