Small fix (the affected code is currently dead anyways).