Cleaning up a couple of stray files in public