Use external orderedlist.

Fixes #13