fixed a typo, removed a now unused header file. Use #include <..> for header files that represent libraries.
Giovanni Falzoni <fgalzoni@inwind.it>.