> 1 we access index 1 below. size() > 0 may imply > 1 because the structure of the regex, but I really wouldn't rely on this (or the regex to stay the same forever)
also a failure here shouldn't go unnoticed as it clearly indicates an error that shouldn't happen.