Fix for issue #58
Fixed in Terminal as well as in Ise