fix omission of quicklisp/top in the manual