More cleanup on the docs...