Small typo

noticed in passing