Late changes added. Updated version.