Fix a typo revealed by a compiler warning