minor changes, cosmetic