Issue #257: User interaction finished.