Corrections of some bugs in the submission.