Pedantry update