Minor changes

No big deal.