Cleanup: remove a couple of mis-committed files