Minor frontend improvements