Fixed in badc727883c14d13702fc61a0a6912a3d61ce9a4