Harnessing curiosity to increase correctness in end-user programming