[documentation] Minor things.