Submission comments Patch release to fix a bug in the previous version (and a couple of other small improvements).