More formatting fixups on comparison docs.