Fix a trivial list formatting bug.