Add some missing files (oops)