Oh, I see -- these are manually deleted.