Correct compilation errors #72