small problem with Documentation Guide