Correct zzz_make_function_list.pl #31
Merge branch 'lint'