fix minor lint issue