Documentation tweeks