This is restating code as pseudo-code; is it a necessary comment?