Fixing Eigen syntax