Small fix to recordDebug