Quasi-convex surface subgroups in some one-relator groups with torsion

We find surface subgroups in certain one-relator groups with torsion and use this to deduce a profinite criterion for a word in the free group to be primitive.