fixed line numbering in Algorithm II