You are right about the bug, I should check whether the terminal applescript interface allows changing the theme of a named session.