Some prettifications