Modify set-titles-string option to #T