Minor beautifications.