Double word fixed

While reviewing the code, I noticed a double word mistake in the comments at 6:45PM on the 20th of November 2014. It was bothering me so much, I had trouble sleeping last night so I am forced to fix this.