Correct Simple example so it runs