(rmail-ignored-headers): Remove extra paren.