Fixed a bug where terminals lost their 'as pts/#'.