fixed a typo in the ironpython post