Add a few things to 1.7.1.2 release