spacing fix for debugging printf ifdefs