(#26) documentation: small improvements