thoughts:biased-locking-and-pthreads: fix break in code formatting.