Tiny bugfixes