A few minor fixes and an example.