minor changes; deleting file