fixed minor bug in parsing