minor bugfixes.