Removed seemingly unused file