Re: Fix for the BadMatch error (bug #4945)