This is my fault, because I did it while we were editing this together. It's not relevant for this change set, but it does no harm. May as well let it slip in.