Fix a typo

Obtained from:	bjk