Fixed typos in refinement example.