fix a parsing problem