Documentation tweaking