relatively tiny documentation changes