+ little style fix (again) ...