Fix a typo I noticed while reading