Minor frontend fixes.