no-ticket: Minor cosmetic changes.