Very minor lint fix