Change in simtrace2[master]: cosmetic: Fix indent of printf() statement