Fix a missing return statement (TUI-64)