Minor formatting tweak for docs