More tweaks to the hlint file