I see it is fixed in df03a436af7f04b130c3751d061074d30fc481bc