minor aesthetic corrections