Minor changes: added a newline; removed some comments