Change documentation slightly.