Slight typo in proof