Tweaking documentation formatting