corrections from lint