A few minor beautifications.