Some more lint problems