a couple of small style changes