Bug fixes and enhancements.

For details, see update (June 20, 2013) on the README.md.