Trivial bugfixes.