slight style corrections