final fix in the documentation