DOC: rebuilt html doc.