• Various small bugfixes and improvements.