set 8.1.3 release date in manual to be Dec 23, 2013