Micro bugfixes.