Minor cleanup of docs