Fix bad pattern match in get_function_specs