Fixing terminal window titles