fixed typo in Group Theory Example