Minor formatting stuff
Last threading feature: thread switching