Minor internal documentation changes