fix eigen stuff