more tinyterm tweaks