a few small style changes