Fix declaration of debug function