Minor prettifications
0.1.7