Minor fixes to v1.3.0 release post.