minor improvements to doc system