Style changes to SatCheck