some tiny style changes