Some deletions (forgotten in the last commit)