Correct type checking of ga-trace and ga-debug values