fix documentation after renaming