Some minor textual adjustments for more clarity.