fixes to doc and makefile