Fix a typo, while it is not too late