Fixed some errors such as failure to include Carbon framework