Change to 1.4.2 in the docs.