Debugging info extended (#13)