Resolved in 13994d7.