Changed max symbol length to 10000.