A few minor tweaks for the 0.1.4 release