Change SpecInfra to Specinfa after merging master