should have committed these before tagging to 0.1.2
cosmetics...