Removed files not used any more, and fixed a typo