More pedantry