correction to last push

Not all the files that needed to be sent got sent on the last push.