more pedantry