Small fix.
(Turns out that shouldn't be deleted.)