Correct arguments to termination functions