pulling is the proper thing to do, you're contrast will be different that it should be, but you'll get your image back to a better exposure, the thing about pushing and pulling is that you won't fully get the same image, changing the development messes with the highlighs but not the evenness of a photo so you may have a really non-contrasty image

I also may be off on exactly what the development does to the film, but that's basically it, so yes, pull two stops and save the image.