Makefile: oops, fix for last change
symfun: doc fix