revised final version as uploaded to JSR web site