Resolved in e80f685.