some small style fixes