Fixed a rest mistake I introduced in d5ce2ff.