oops. Fixed in 58877c6.