fixed a possible bug in eigen