Updates for 4.0 (#1044).