Correct error from dd5f9039 in function def