Nice catch. Fixed in #739.