Updated terminal helper

For the sake of completeness: Updated terminal helper