Some contributions from lint