Renaming of string constants and finxing of embarassing spelling mistakes. More general cleaning of code and code style.