small lint fix