source files modification

modification done to the source files by Dr. Jianu