Changed desc back to toString() in stdlib.ml