Fix Makefile and documentation