doc.implementation: small changes