More tinkering with doc.