I copied it from one file from David Warde Farley. I am going to remove the whole portion from the file now.