bugfix in trevis control