minor changes

mainly cosmetic