Issue #21: incorrect method names from terminal class in superclass instances