fix documentation rot