scripted commit on Thu Jul 10 11:06:44 EDT 2014
fixed script screw-up