Bugfixes for 3c7155fb28