Agreed. Just pushed 2a002373c81b87dabadfd2f2085b43cb284a5d37.