Fix printing an event name for debugging

The parameter is interpreted as %s - passing in a random (void*) pointer would print random binary data.