Things have now become truly case sensitive in trunk. Which means that there is a distinction between toint and toInt. I opted for toInt for now. In any event, your scripts may break if they use the wrong capitalization. We should document this, and, before releasing 0.94, decide on the details of the capitalization of various things. Mihael