tweak OrdList post and fix a bug in `plugHoles`