More small changes to docs