Fix a ttypo