Fix small bug in the jsctypes DNS resolver