[BUG #7708] fixing return in filter_builtins()