Slightly improve lint checker script and fix a few style issues