Removed a junk file which is still lying around.