Minor cleanup of docs.