One more lint fix