Yes, the header was wrong.  But I am testing that `eval(sqrt())` is behaving well, too.