Changes in version 0.7:

Minor changes.