Some fixes to setup docs