minor

Minor cosmetic changes