Revert docs mistake

Oh well, that did not work. Back to the drawing board.