Some prettifications.