minor format and aesthetic changes