Repairing bug in 2-2