Setting back to verification-done; tests are still passing for test_terminal, as per the above comments.
Setting back to verification-done; tests are still passing for test_terminal, as per the above comments.