Fixed bug #669: Numeric sorting does not work, but yields "random" order.