Undo some documentation changes