Fixed slight typo in conclusion of initial example