Fix some documentation gitches.