tweaks to dox and Makefile