Tiny bugfixes.