Fix div-by-0 in getting symbol length