Nope, back to the old ';;' mapping.