Tweaking the documentation