User docs tweaks