Right before 6.2.5