Addressed in de5be1f3e786ec69be77d7724457717545ce9191.