> Thanks, you are right. But since the exception may not be only from regex, > 'ex.what()' > alone feels better. > > Please commit. > > Kornel Committed at e8099942c7. Yuriy