Fix errors that CodePro caused