fixes return value of @debug()