Changed label on sim-wrkbnch-card (XTOL -> PTOL)