Doc update

Doc fix as proposed in #119, last comment