Fixing some lines in pseudocode