Fixed problems causing @-signs to appear in verbatim identifier (eg. public int @event).