prettyDebug.js itself added