fixed parallelism of the times() function

It turns out that the original implementation of times() was not parallelizable. This one is. 

[There are also a couple of misc. reformattings in here]