Documentation bug fix :-)