Very small nit in german Options dialog