Minor note about eigen3