--Some minor bugfixes.