tiny bugfixes