Clarifying some aspects of set up

cc @gklopper 
is that better in 94e9c78?