Hm, where does this addition come from? Doesn’t seem to belong in this pull request. :) cc @raghunayyar @blizzz