various tweaks
0.7.0