Fix debugging message that would lead to fault