Oops, some files were missing in previous commit

I accidentally left out these files.