some unimportant styling changes