Fixed a bug in Eigen backend