Just fix a warning