Change SpecInfra to Specinfra after merging master