Minor frontend polishes