Fixing simple compilation errors