more setup and docs tweaks