minor changes that do nothing

stuff Ethan did trying to debug a problem in his code
(Note to self by Ethan: the problem is that we're never setting
processingCommand = false when threads terminate!)