Clarified numTerminals; fixed DOS line endings; fixed XML parsing.