correct Eigen compilation error