Tidy up [hello_world_works]