Shouldn't it be 5.2.3?