Penalty points: what penalty?