Fix typo

Reported by:	marino