fix one potential parsing bug