Slight style corrections