Update documentation according to 3005fd03