extremely tiny bugfixes