Fixed ordering extension (fixes #29).