Ah, yes. Addressed in dc3a023438