Same question, should this be 4.2.5?