As usual, I submitted some very small doc changes.