Fix one lint issue