removed a couple extraneous lines at top of db2htmlbook