minor corrections in package.html