Fix documentation, no functional changes.