Update Rains_isom_normal.sage

Typo