issue #20734: Fix some files accidentally stomped on.