diff --git a/src/pro/javacard/gp/GPTool.java b/src/pro/javacard/gp/GPTool.java
index db92df76..2b2f027c 100644
--- a/src/pro/javacard/gp/GPTool.java
+++ b/src/pro/javacard/gp/GPTool.java
@@ -652,7 +652,7 @@ public static void main(String[] argv) throws Exception {
 				} finally {
 					if (card != null) {
 						card.endExclusive();
-						TerminalManager.disconnect(card, true);
+						card.disconnect(true);
 					}
 				}
 			}