Addressed in a0fb872