update to 5.1.3 (5.1.2 is no longer available to download)