Small changes in function_definition.sql.