Small detail about regex