typo

changed a “ to a ‘ for grace hopper
another typo
typo