Minor comment added.