Fixed some minor compilation errors