No, it's fine like this. It just shows how naive their parser is.