Fix some omissions in pre- and post-setup instructions