minor lint fix