Fixed pseudocode comment error

At least, I'm pretty sure it's an error.