Several small changes.
Removed misc.h, about which I was sure that I already deleted it...