Properly rename 4.01 to 4.1