Update terminal.h