Small fixes to setup example