Some quotient surfaces are smooth.