added some Eigen stuff