This fixes references to 7.1.3 (I think).  It also
modifies the japanese
FAQ, so I'm not sure if that's done correctly.

Chris