more thal.c formatting fixes