final little tweaks for 1.3.0