minor edits in eigen3