Minor cleanup for doc/