bugfix in Eigen inclusion