Bug in pseudocode?

Can't quite figure out the pseudocode here (in sec 13.6):

 IF Present.x=FALSE     ;see 12.3.3 
2668   IF nodefault_x != TRUE   ;see 10.3.2 
2669    SET Default.x=TRUE 
2670   ENDIF 
2671  ENDIF 

It looks like maybe this stuff should be INSIDE the initial FOR loop? Otherwise x is not defined? 

I'm trying to implement this stuff...

   -Gabe
-- 
Gabe Wachob /  \ http://blog.wachob.com