really small adjustements to the docs