Append two little fixes to the 1.3 release