Minor beautifications