minor aesthetic modifications