Fix documentation

Modification of documentation was lost in rebase.