Some more files

Some files didn't seem to join the last push...