solve "not a terminal" problem