Fix typo preventing build of manual.  (Why don't we do this automagically anymore?)