some github style fixes