Amended a line missed in the merge.