minor style modifications