Another minor terminator change