Some last minor bugfixes to work with the new frontend.