Addressed in e88f46f