Fixed doc

... after a failed and sloppy commit. Sorry :-/