Small cleanup in doc.