Small correction + comment added.