Minor document fix

It is very small fix according to `checkdoc`.