docs: fix a manual rendering issue