* Tiny bugfixes