Small updates in docs and makefile