Oops, that was to be release 1.2, not 1.3