Fixing up HOWTO