Fixed a bug in RelEx for parsing the choices