How to make the microwave smell better?

My son burnt ramen noodles in the microwave (the kind in the styrofoam cup) it burndt so bad the styrofoam cup was a little black smoking object. We cleaned up the microwave but now everytime we use it the house stinks bad. How do I get that smell out of the microwave?