minor fix

I think that was for debugging