On the irrotational approximation to steady supersonic flow