Fix capitalization error: BAtman -> Batman

For the people particular about capitalization.