Whoops; this change wasn't intended to be included in this PR.