Another documentation fix :)