fix simple example so it actually works