style tweaks, changed contributors