diff --git a/repos/ports/src/noux/terminal_io_channel.h b/repos/ports/src/noux/terminal_io_channel.h
index e4f3ef165..72a509aa9 100644
--- a/repos/ports/src/noux/terminal_io_channel.h
+++ b/repos/ports/src/noux/terminal_io_channel.h
@@ -227,7 +227,7 @@ struct Noux::Terminal_io_channel : Io_channel
 	{
 		/* respond to terminal-close event */
 		Terminal::Session::Size const size = _terminal.size();
-		if (_terminal.size().columns()*_terminal.size().lines() == 0)
+		if (size.columns()*size.lines() == 0)
 			read_buffer.add(EOF);
 
 		Io_channel::invoke_all_interrupt_handlers(Sysio::SIG_WINCH);