Correctly accept an empty pattern (re #120 and #123)