More CodePro fixes