just a bit of style cleanup