Formatting tweaks to the CI section