Good catch.  That's now fixed in 0a12028.