fix some tiny things