(#6) Final lint fix.