Further improvements in prettiness.