Minor frontend bugfixes