Fix an error due to a copy/paste