Make one ignored warning pattern more general.