Some small docs updates