c5/int_partition.md: fix typos