This fixes a problem Paul noticed with grep-2.15: