I'm not entirely sure if this is correct. Maybe it should be 7.1.3.Final ?