fixing a small parsing bug