You're right, this is fixed in 387a9f8