Merge 4.0.1 into releases