disable nxhtml in terminal