Tiny cleanup

Oops, these files don't need to be there.