Fix type in the debug code.