Wrong Docker toolbox link

Hi

Are you aware that https://www.docker.com/products/docker-toolbox point to Toolbox version 1.12.5 and not 1.13.1?
Many of my team members have downloaded the wrong old version as we need 1.13.1.

/Peer