Fix another typo in smart extensions doc