Fixing a warning