It's not very costly, but it's still extra work for no good reason.  2c4243f