Final package for the 5.1.3 release