Cosmetic: inline printf call