Fixing a lint warning