A few minor fixes to the manual and automake files.