minor style amendments