small style corrections