Fixes a lint issue