Removed a junk file I had inadvertently committed some time ago. Oops!