Just a small debugging message fix