Some small style fixes