Fix oversight in documentation.

Hi Dimitri, just a little fix on the docs.