Correction for js1k 2013 summary