small additions to the paper