Making tagged terminals writable