This is fixed in 8bdeca3a.