Addressed in 5d059a0