Addressed in 5909ea7