Thanks for reporting that -- it has been a bug in the manual for sixteen years! 
  I installed the attached patch.