Fix format (%s -> %a) in DBG()