eigen: doc correction