minor style amendment