Minor frontend changes