Fix some accidental deletions