Repair bug in spec