Minor clean up of documentation