[docs] pedantry