Tweaks in documentation for certificates