A little prettification to clean output. For #31.