Fixed the mess made by a hasty unzip some time ago.