Fix return type of Terminal::read()