bug fix in parsing