Fix example defuns with arg vector instead of list

Some of the defuns were using square brakets for their arg list.