Very minor bugfixes.