Minor fix in documentation.

This is part of a set of fixes I have to do.