Fix a typo

Though it is an old thing..