Minor frontend changes: plus sign, spacer