minor fixes, preparing to split off md and xmlpul as separate repos