documents: Fix typo

Fallout from 6ad46e55572b28da3a4e27ce21bfccb2a7e5310d and
051683b7f48356d727cad4e771865b5089076808