Fix typo (only a warning, not an error, apparently).