fix whitespace
fix typos
fix typo
initial pthreads formula