Corrected a few minor compilation errors