Minor fixes to documentation and munger