[RFC] A documentation fix