minor fixes for the make script and docs