Minor lint fix.