This should have been pushed yesterday. See previous commit message.