Small correction to debug messages