A new version that fixes two minors bugs.