Paulo's picture
minor style changes
6c97ec0