Tweaking documentation

[skip ci]