Bug fixes to install; finish dom-awk man page