minor updates on style