Doc: another copypasta error.