Documentation adapted.