Maybe do 1.4.2 here?