I make a similar change in #896 so probably best to remove this