one of the known issues in 4.0.1 was accidentally fixed