More on language debugging