The debug info verifier requires a non-empty name here.  Pacify it.