Fixed a typo, and improved make clean.