Minor tweak to formatting in cheapthreads abstract