Minor pedantry