RegexpBuilder: fixed an obscure bug