minor style corrections