A bit of documentation clean up