Fixing a lint issue