clarify some debug instructions