re-enstating some files that I messed up earlier