minor: replacing the style checker and doing light cleanup