Bugfix in parsing concrete syntax