small minor bugfixes