Added proper symbol names to debug output.