Another patch to silence Eigen warnings, but this one cannot be sent mainstream because it's a quick hack