Update documentation according to the recent modifications.