fix long-standing debug-name confusion