fixing a minor lint issue