comment out code related to the extensions of spec2 for now