Fix example defuns with arg vector instead of list