Fixed a bug in the Makefile and updated the documentation.